/*******************************************************************************
 * Copyright (c) 2007 University of Oslo.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     University of Oslo - initial API and implementation
 *******************************************************************************/

package com.cea.papyrus.diagram.sequence.sedi.model.command;

import org.eclipse.uml2.uml.InteractionFragment;
import org.eclipse.uml2.uml.Lifeline;

/**
 * Structure that indicates that a particular fragment covers a particular 
 * point on a lifeline.
 * 
 * @author frankd@ifi.uio.no
 */
public class CoverPosition extends LifelinePosition {
	private InteractionFragment fragment;
	 
	public CoverPosition() {
	}
	public CoverPosition(
			final InteractionFragment fragment, final Lifeline lifeline, 
			final int position) {
		super(lifeline, position);
		setFragment(fragment);
	}

	public InteractionFragment getFragment() {
		return fragment;
	}
	public void setFragment(InteractionFragment fragment) {
		this.fragment = fragment;
	}
}
